Synthesis Dagstuhl Seminar
نویسندگان
چکیده
From 06.12.09 to 11.12.09, the Dagstuhl Seminar 09501 Software Synthesis was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Semantic Data Management (Dagstuhl Seminar 12171)
Touching the 3rd Dimension (Dagstuhl Seminar 12151) Daniel Keefe, Antonio Krüger, Frank Steinicke, and Jean-Baptiste de la Rivière . . 1 Software Synthesis (Dagstuhl Seminar 12152) Ratislav Bodik, Sumit Gulwani, and Eran Yahav . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Semantic Data Management (Dagstuhl Seminar 12171) Grigoris Antoniou, Oscar Corcho, Karl Aberer, Elena...
متن کاملProbabilistic, Logical and Relational Learning - A Further Synthesis Dagstuhl Seminar
From April 14 20, 2007, the Dagstuhl Seminar 07161 Probabilistic, Logical and Relational Learning A Further Synthesis was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as...
متن کاملReport of Dagstuhl Seminar 15442 Approaches and Applications of Inductive Programming
This report documents the program and the outcomes of Dagstuhl Seminar 15442 “Approaches and Applications of Inductive Programming”. After a short introduction to the state of the art to inductive programming research, an overview of the talks and the outcomes of discussion groups is given. Seminar October 25–30, 2015 – http://www.dagstuhl.de/15442 1998 ACM Subject Classification I.2.2 Automati...
متن کاملMulti-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221)
This report documents the program and the outcomes of Dagstuhl Seminar 15221 “Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge – a Synthesis and a Roadmap of Challenges”. This multi-disciplinary seminar brought together researchers from computer science, philosophy and psychology dealing with topics of rational reasoning, reasoning with imperfect information a...
متن کاملDagstuhl Seminar 11062 Self - Repairing Programs
Dagstuhl seminar 11062 “Self-Repairing Programs” included 23 participants and organizers from research and industrial communities. Self-Repairing Programs are a new and emerging area, and many participants reported that they initially felt their first research home to be in another area, such as testing, program synthesis, debugging, self-healing systems, or security. Over the course of the sem...
متن کامل